Translations by von Hagn: